Edukad projektid

Found 3 projects. coordinating country [ SE ] search term [ Tallinna Tehnikaülikooli Küberneetika Instituut ]

Programmes

Coordinating countries

Sub-programmes

Instruments

Partner countries (number of times in projects)

project no	acronym and title	duration
FP7 - 231620	HATS - Highly Adaptable and Trustworthy Software using Formal Models	2009-2013
FP6 - 019374	SEAMOCS - Applied stochastic models for ocean engineering, climate and safe transportation	2005-2009
FP6 - 510996	TYPES - Types for Proofs and Programs	2004-2008